Paradigms of historiography of philosophy in India have being changed since late 19th c. till present, depending on the social and cultural context of the history of Indian philosophy as a part of contemporary Indian culture. This change manifests itself in the conceptions of Indian historians concerning the teaching of Buddhist Mahāyāna school of Yogācāra (4th c. and later). Historians of colonial times, basing themselves on the philosophy of Neovedаntism (S. Radhakrishnan, S. Dasgupta), regarded Buddhism as a derivate of late (...) Vedic culture and Yogācāra as a teaching that reflected - though in an essentially transmuted form - the ideology of Upaniṣads. The latter, according to Neovedantists, was based on the postulate of the existence of the single cosmic soul - Brahman, the true human Self (Ātman) being identical to it. Historians of the late colonial and early postcolonial times (P.T. Raju, D.P. Chattopadhyaya, A.K. Chatterjee, partly also S. Dasgupta) brought Yogācāra closer to the teachings of European idealism, mainly to conceptions of G. Berkeley, G.W.F. Hegel, F. Bradley, J.E. McTaggart, trying to demonstrate a principal identity of fundamental problems in Indian and Western philosophy. At the same time, they brought Yogācāra together with the teaching of Brāhmaṇic school, Advaita Vedānta, regarded as another form of Indian idealism. In later times, following the evolution of contemporary Indian culture and changings in its social and political context, historians like D.J. Kalupahana became to analyze Yogācāra as a kind of philosophy of mind. All these facts show the dependence of strategies of historico-philosophical studies in India on its social, political and cultural context: in the Yogācāra teaching mainly those aspects call attention that a historian sees as the closest to the problematic field of contemporary philosophy. (shrink)

The Transcendental Psychology Approach to the study of perception has been developed by A.I. Mirakyan at the Psychological Institute (Moscow, Russia) about 30 years ago. This article considers the results of theoretical and experimental investigations and provides a historical overview of the approach’s development. Started with the investigations of constancy in perception, it went beyond the traditional Product Basis Paradigm (relying on perceptual features for finding perceptual mechanisms) into Philosophical Metaphysics of “nothing” and “something” concepts for revealing the form-generating principles (...) as fundamental axiomatics of the Transcendental Psychology Approach. Several principles were developed and justified: structure-process anisotropy, spatial-temporal discreteness, the formation of anisotropic (particularly, symmetric) relations, the coexistence of alternatives, and some others. Principles are explanatory for the regulations of sensory-perceptual processes and are the direct object of further specification and experimental verification using hypothetical transcendental models of perceptual structures. The theory suggests that the internal mechanisms of these models would not naturally manifest themselves in experiments within the functional range of perception, and to see the phenomena, it is necessary to bring the perceptual system out of its natural functional range. The form-generating processes are named adiaphorous in the sense that they specifically generate new structures and forms, regardless of the characteristics of products used and produced in the processes. In general, it is possible to speak about the class of so-called structurally-generative processes that are specific to the process of transition between the system-generating structures studied by different hierarchically interrelated sciences. The proposed two-staged qualitative model of the perceptual process consists of two substantially different parts: the direct sensory perception and a process of form designation or sensory name assignment. Further investigations of structurally-generative processes seem likely to shed light on the mechanisms of brain function and to contribute strategically to new directions in philosophical psychology and neuroscience. (shrink)

This article examines a still contentious question: how conservative and liberal elements are combined in Boris N. Chicherin’s worldview and political doctrine. It considers several points of view...

Why does the theory of law have such a significant role in Russian liberalism, and how is this related to the state of the legal system in Russia and to the public’s legal consciousness? This intro...

This volume examines the conflicting factors that shape the content and form of grammatical rules in language, which speakers and addressees need to contend with when expressing themselves and when trying to comprehend messages. Chapters examine adult language, first and second language acquisition, and the motivations behind historical change.

We study the coherence, that is the equality of canonical natural transformations in non-free symmetric monoidal closed categories . To this aim, we use proof theory for intuitionistic multiplicative linear logic with unit. The study of coherence in non-free smccs is reduced to the study of equivalences on terms in the free category, which include the equivalences induced by the smcc structure. The free category is reformulated as the sequent calculus for imll with unit so that only equivalences on derivations (...) in this system are to be considered. We establish that any equivalence induced by the equality of canonical natural transformations over a model can be axiomatized by some set of “critical” pairs of derivations. From this, we derive certain sufficient conditions for full coherence, and establish that the system of identities defining smccs is not Post-complete: extending this system with an identity that does not hold in the free smcc does not in general cause the free smcc to collapse into a preorder. In order to give a larger context to these results, we study the equality of canonical morphisms in non-free symmetric monoidal categories, and establish that w.r.t. a broad subclass of smccs, the equivalences induced by the equality of canonical natural transformations over a model coincide with the equivalences induced by the equality of canonical morphisms for all interpretations in that model. (shrink)

The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...) a tableau calculus is defined for the modal bilattice logic MBL introduced and investigated by A. Jung, U. Rivieccio, and R. Jansana. MBL is a generalization of BK that in its Kripke semantics makes use of a four-valued accessibility relation. It is shown that MBL can be faithfully embedded into the bimodal logic \ over the non-modal vocabulary of MBL. On the way from \ to MBL, the Fischer Servi-style modal logic \ is defined as the set of all modal formulas valid under a modified standard translation into first-order FDE, and \ is shown to be characterized by the class of all models for \. Moreover, \ is axiomatized and this axiom system is proved to be strongly sound and complete with respect to the class of models for \. Moreover, the notion of definitional equivalence is suitably weakened, so as to show that \ and \ are weakly definitionally equivalent. (shrink)

Introduction. The article analyzes the problem of substantiating morality in revolutionary activity using the example of L. D. Trotsky’s articles. The relevance of the article is connected with its consideration of ethical ideas, which are largely common to Marxist and generally left-radical philosophy. In addition, the works of L. D. Trotsky that we are considering, for political reasons, entered into free scientific circulation relatively recently, and to date have not received a sufficient amount of versatile academic commentary, primarily philosophical. The (...) purpose of the study is to analyze the position of L. D. Trotsky regarding the use of violence as a means of achieving political goals, to identify the main arguments and principles underlying his approach to this problem, and also to assess its influence on political thought and practice. As a result of the analysis, the authors strive to provide readers with a deeper understanding of the problematic ethical aspects of using violence in politics through the prism of the ideas and views of Leo Trotsky. Methods. The authors use historical and hermeneutic methods. The first allows us to explore the context of the time in which the ethical views of L. D. Trotsky developed, and the second allows us to identify in his texts the basic principles and ideas characteristic of revolutionary radicalism. In addition, general scientific methods were used: analysis, synthesis, comparison and generalization, which made it possible to organize the material, identify patterns and draw conclusions based on a comparison of the ethical views of L. D. Trotsky with various ethical systems, highlighting their strengths and weaknesses in these views. Scientific novelty of the research. The authors focus on the problematic substantiation of morality in the articles of L. D. Trotsky, primarily such as “Terrorism and Communism” (1920) and “Their Morality and Ours” (1938, written in exile). At the same time, Western research on this topic is analyzed, as well as the controversy that unfolded between Trotsky and Bertrand Russell. It is noted that based on the statements of F.M. Dostoevsky that building a just society is impossible with the help of immoral means, since the goal can be transformed depending on the methods of achieving it. The problematic nature of the concept of conscience and possible options for its inadequate interpretation are revealed: (1) when it replaces the moral and metaphysical ideal (I. Kant, L. Tolstoy), or (2) it is completely declared a “chimera”, identified with selfish aspirations, the need to capture and retain power, hiding behind some ideals. It is indicated that the second position is characteristic of L. Trotsky, who tried to “morally” justify total revolutionary violence. Results. The authors come to the conclusion that Trotsky’s position is essentially an extremely utilitarian and revolutionary version of Machiavellianism, when, for the sake of an allegedly good goal, it becomes possible to carry out mass repressions, to sacrifice not only people, but also entire nations. It turned out that sworn political opponents, Stalin and Trotsky, assessed the role of violence in politics in a similar way. At the same time, the launched flywheel of violence cannot be stopped so easily; it destroyed Trotsky himself. Nevertheless, the fact that Trotsky addressed this item speaks to the importance of resolving the moral problems associated with revolutionary practice. (shrink)

On peut distinguer trois cas de correspondances différentes entre les « scénarios schématiques » et le domaine narratif folklorico-littéraire : 1. La narration constitue la projection de la « dramaturgie de la vie » (une telle projection n’est évidemment ni directe ni complète) ;2. La structure de l’univers des personnages et la structure événementielle du narratif influencent la formation des « scénarios de la vie », en conditionnant l’apparence morphologico-compositionnelle de l’un et de l’autre ;3. La coincidence de la « (...) dramaturgie de la vie » et de la « dramaturgie de la narration»s’explique par le fait qu’elles ont des sources communes ; ces sources pourraient être les modèles mentaux de la tradition, qui dictent à un homme des « règles de comportement » d’une part, et qui s’incarnent dans la narration folklorico-littéraire d’autre part. Le « scénario schématique » possède une structure événementielle, situationnelle et actantielle. À cette structure correspond un certain niveau d’interprétation qui souvent la lie directement à la conscience religieuse et mythologique ; une telle conscience — compte tenu du fait qu’une conceptualisation globale de tous les aspects de la vie humaine caractérise le mythe — englobe, par sa nature même, les « blocs interprétatifs » pertinents pour pratiquement tous les précédents événementiels. Le « scénario schématique » est donc lié au domaine des croyances et concepts actuels, lié aussi aux systèmes de valeurs et normes éthiques, etc. ; il est possible de reconstituer nombre de ces croyances, concepts, valeurs et normes à l’aide de l’histoire vécue qui nous occupe. D’ordinaire, ces interprétations ne représentent pas le fond neutre des événements, mais un élément actif et dynamique qui agit directement sur le développement de ces événements. (shrink)

Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a 'definable quotient group' U/L, for some convex V-definable subgroup U of 〈Mⁿ, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's conjecture (...) for a saturated M as above and we show that the o-minimal fundamental group of G is isomorphic to L. (shrink)

Computability theorists have introduced multiple hierarchies to measure the complexity of sets of natural numbers. The Kleene Hierarchy classifies sets according to the first-order complexity of their defining formulas. The Ershov Hierarchy classifies Δ20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varDelta ^0_2$$\end{document} sets with respect to the number of mistakes that are needed to approximate them. Biacino and Gerla extended the Kleene Hierarchy to the realm of fuzzy sets, whose membership functions range in a complete lattice L. In (...) this paper, we combine the Ershov Hierarchy and fuzzy set theory, by introducing and investigating the Fuzzy Ershov Hierarchy. In particular, we focus on the fuzzy n-c.e. sets which form the finite levels of this hierarchy. Intuitively, a fuzzy set is n-c.e. if its membership function can be approximated by changing monotonicity at most n-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n-1$$\end{document} times. We prove that the Fuzzy Ershov Hierarchy does not collapse; that, in analogy with the classical case, each fuzzy n-c.e. set can be represented as a Boolean combination of fuzzy c.e. sets; but that, contrary to the classical case, the Fuzzy Ershov Hierarchy does not exhaust the class of all Δ20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varDelta ^0_2$$\end{document} fuzzy sets. (shrink)

The problem of the article is based on a long tradition of studying the category ‘antinomy‘ in the history of philosophy from antiquity until the early twentieth century. Antinomical thinking has particular importance for the spiritual life in the 20th century. The author draws attention to the fact that, for example, in the poetry of Thomas Stern Eliot antinomies and paradoxes are of philosophical and religious nature especially in then dealing with questions of reaching the Truth by rational way exclusively. (...) The basic material for studies are the works of modern Russian poets Olesya Nikolaeva, Sergei Kruglov, Timur Kibirov, Olga Sedakova and Helen Schwartz. It is shown how moral and philosophical themes and descriptions of the spiritual lives of the characters associated with the interpretation of ideas of compositions in the form of antinomies. The idea of the influence of the antinomies of thinking on aesthetics and system of images of Russian poets verses is justified. Article reveals the originality of each of the poets whose poems are analyzed in the work. The author concludes that modern poetry gives traditional antinomies personal psychological nature, but at the same time, problems and poetics of paradox are in tune with thinking of twentieth century as a whole - with its disastrous spirit, full of doubt and contradiction. (shrink)

Russkiĭ kosmizm v poiskakh absoli︠u︡ta : paralleli i peresechenii︠a︡ v muzykalʹnom, poėticheskom i izobrazitelʹnom tborchestve 1910-1920-kh godov -- Liki Moderna -- Putʹ k modernu : Georgiĭ Lʹvovich Katuar -- Stilʹ modern v tvorchestve Frederika Diliusa : kont︠s︡ert dli︠a︡ fortepiano s orkestrom do minor -- Stilʹ modern i tvorchestvo Bely Bartoka (na primere opery "Zamok gert︠s︡oga Sini︠a︡i︠a︡ Boroda") -- Frit︠s︡ Kreĭsler i stilʹ modern -- Klod Debi︠u︡ssi i Moris Ravelʹ : muzyka dli︠a︡ arfy -- Klod Debi︠u︡ssi : dvenadt︠s︡atʹ ėti︠u︡dov dli︠a︡ (...) fortepiano : ot ėkzersisa do installi︠a︡t︠s︡ii -- O dikhotomii "muzhskogo" i "zhenskogo" v Pi︠a︡toĭ sonate A.N. Skri︠a︡bina (na primere motivnoĭ metriki) -- Pod znakom moderna : A.N. Skri︠a︡bin i S.S. Prokofʹev v 1913 godu -- Avangard i modern v retrospektive -- O proi︠a︡vlenii︠a︡kh "modernizma" v ispolnitelʹskom iskusstve : F. Buzoni, M. I︠U︡dina, G. Gulʹd -- Sudʹba providt︠s︡a : fortepiannai︠a︡ muzyka Ėrika Sati v sovremennom akademicheskom muzykalʹnom mire -- Otgoloski ėpokhi modern : o nekotorykh smyslovykh osobennosti︠a︡kh sovremennykh fortepiannykh sochineniĭ (Ė. Denisov, S. Slonimskiĭ, G. Zaĭt︠s︡ev) -- Zapadnye pianisty - ispolniteli russkogo avangarda pervoĭ volny : Sh. Shleĭermakher, Kh. Khenk, M.-A. Amlen -- Muzyka k filʹmu "Kabinet doktora Kaligari" : mezhdu tvorcheskoĭ rekonstrukt︠s︡ieĭ i istoricheskoĭ imitat︠s︡ieĭ -- Podvodi︠a︡ itogi -- "Pozdniĭ modernizm" v muzyke kont︠s︡a XX - nachala XXI veka : nekotorye nabli︠u︡denii︠a︡ -- Po sledam konferent︠s︡ii "Ot moderna k futurizmu" (virtualʹnai︠a︡ beseda za kruglym stolom). (shrink)

This article addresses the famous 1910 debate between Vladimir F. Ern and Semyon L. Frank centered around the problem of identifying the distinguishing features of Russian philosophy. The debate was a continuation of Ern’s debates with Russian philosophers associated with the international journal Logos (Sergei I. Hessen, Fyodor A. Stepun, Boris V. Yakovenko, and others). The author shows that Ern’s understanding of an original Russian philosophy is organically related to his overall philosophical doctrine. As for Frank, his views during the (...) 1910s on the distinguishing features of Russian philosophy were different in nature. It is worth noting that in the 1920s articles written during his émigré period, Frank’s views on the distinguishing features of Russian philosophy undergo a decisive change. Frank’s new ideas about Russian philosophy turn out to be extremely close to those of his late opponent, both on the whole and in the details. At the same time, Frank’s overall philosophical views do not undergo as dramatic a change and develop in a fully evolutionary mode. The author attempts to identify the reason for these changes. (shrink)

In una fase della teoria del cinema e dei media, come quella attuale, che appare segnata da un dibattito sempre più intenso sul significato e sulla portata di nozioni come quelle di medium e dispositivo, riprendere l’opera di autori come Dziga Vertov e Sergei M. Ejzenštejn, Siegfried Kracauer e Walter Benjamin, può risultare una via produttiva non solo nel tentativo di situare in una prospettiva storica il dibattito contemporaneo, ma anche di trovare nuove modi di pensare le nozioni citate di (...) medium e di dispositivo. Nel presente studio, l’autore esamina la riflessione di Ejzenštejn riguardo al dispositivo cinematografico come assemblage – flessibile, dinamico e in evoluzione – di tecniche, spazi e operazioni, concentrandosi su due momenti cruciali della sua lunga e complessa carriera: la conferenza The Dynamic Square tenuta a Hollywood nel 1930, e il progetto per film rimasto incompiuto e intitolato Glass House, presentato quello stesso anno alla Paramount. In entrambi i casi, Ejzenštejn considera lo schermo – una delle componenti cruciali del dispositivo cinematografico – come allo stesso tempo condizione senza la quale le immagini proiettate non possono essere visualizzate, come superfice di dimensioni e forme variabili, e come luogo di una serie di sperimentazioni sul montaggio e sullo spazio cinematografico, che in Glass House mette in luce le implicazioni estetiche e sociali di uno spazio completamente trasparente. (shrink)

Semen Frank is one of the most interesting and exciting pre-revolutionary Russian religious philosophers to be “rediscovered” after the fall of the Soviet Union. His involvement in Russian pre-revolutionary political and academic life brought Frank into contact with an imaginative, progressive and idealistic group of thinkers whose ranks he then joined. Like Nicholas Berdyaev and Fr. Sergei Bulgakov, Frank put forward his own philosophical views about their world, which was in upheaval, and about human nature. After emigration from the then (...) young Soviet Union, Frank continued to produce his impressive body of work. His ideas are remarkable for their considered, moderate and tolerant nature.This book is a contribution to the ever-growing body of scholarship, which strives to connect Russian thought to its contemporary Western context and continues to facilitate the revival of these fascinating thinkers. In addition to situating Frank’s thought in a Western context, this work seeks to provide an overview of his thought, and introduce his key arguments to those unfamiliar with Russian religious philosophy. (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.

We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...) class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality. (shrink)

This paper argues that unusual coincidences, particularly those involving historical events, can be viewed as design patterns, suggesting an intelligent influence over the course of events. A compelling case examined in detail using probability theory concerns the presidencies of Abraham Lincoln (1809–1865) and John F. Kennedy (1917–1963). This and other coincidences involving historical figures disfavor the materialistic perspective and point to the presence of an intelligent agent acting on a global scale, beyond the arrow of time, influencing human lives and (...) the course of history. (shrink)

In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.

N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. (...) Finally, subdirectly irreducible N4-lattices are described. (shrink)

This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \ and \ , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 . The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 generates the variety of commutative and distributive (...) bilattices with conflation. (shrink)

The paper aims to present a critical analysis of the phenomenon and notion of exceptionalism in bioethics. The authors demonstrate that exceptionalism pertains to phenomena that are not (yet) entirely familiar to us and could potentially bear risks regarding their regulation. After an overview of the state of the art, we briefly describe the origins and evolution of the concept, compared to exception and exclusion. In the second step, they look at the overall development debates on genetic exceptionalism, compared to (...) other bioethical debates on exceptionalism, before presenting a detailed analysis of a specific case of early regulation of genetic screening. In the last part, the authors explain the historical background behind the connection between exceptionalism and exclusion in these debates. Their main conclusion is that while the initial stage of the discussion is shaped by the concept of exceptionalism and awareness of risks of exclusion, the later development centers around exceptions that are needed in detailed regulatory procedures. (shrink)

While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling ( parrhesia). The Cynic (...) problematization of the relation between truth and life and their transvaluation of conventional truths by relocating them to the domain of bare life not only seeks to transform one’s life in accordance with the truth but also, through the confrontation with the existing conventions and norms, to transform the world as such. Cynic parrhesia is thus biopolitical, insofar as it reclaims the power of one’s life from the social order and its rationalities of government and applies it to oneself, investing one’s existence with truth. Since Foucault developed this reading of Cynicism in the context of his political engagement on behalf on East European dissidents, the article proceeds to analyse the resonances between parrhesia and Václav Havel’s idea of “living within the truth,” elaborating the biopolitical significance of both practices. We conclude by addressing the implications of our interpretation for Foucault scholarship and the wider debates on biopolitics. (shrink)

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole of (...) classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (shrink)